widget-factory: Rename some widgets

diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index d9b1aed8b1c0604a40d6c67fc6e1aac2114013fb..8e222ca002ac18b52dd682dacfecd795167bec89 100644 (file)
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -2333,7 +2333,7 @@ Suspendisse feugiat quam quis dolor accumsan cursus. </property>
                                               </object>
                                             </child>
                                             <child>
-                                              <object class="GtkMenuItem" id="menuitem105">
+                                              <object class="GtkMenuItem" id="quitmenuitem">
                                                 <property name="label" translatable="yes">_Quit</property>
                                                 <property name="visible">True</property>
                                                 <property name="can_focus">False</property>
@@ -2385,7 +2385,7 @@ Suspendisse feugiat quam quis dolor accumsan cursus. </property>
                                               </object>
                                             </child>
                                             <child>
-                                              <object class="GtkMenuItem" id="menuitem109">
+                                              <object class="GtkMenuItem" id="deletemenuitem">
                                                 <property name="label" translatable="yes">_Delete</property>
                                                 <property name="visible">True</property>
                                                 <property name="can_focus">False</property>